<html><head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
    <title>Global Prefs</title>
    <meta name="viewport" content="width=device-width, minimum-scale=1.0, maximum-scale=1.0">
    <link rel="stylesheet" type="text/css" href="style.css">
</head>
    
<body class="pinstripe">
<dialog>
    <panel>
        <fieldset>
            <div>
                <p><strong>Icon Title</strong><br/>
                <span style="font-size:smaller; color:#aaa;">(Default: "Page #")</p>
                <hr/>
                To change the title of a jump icon, tap the title in the list; a popup will appear allowing you to enter a new title.
            </div>
        </fieldset>
        <fieldset>
            <div>
                <p><strong>Icon Visibility</strong><br/>
                <span style="font-size:smaller; color:#aaa;">(Default: On)</p>
                <hr/>
                To hide (disable) a given jump icon, set its toggle to Off. Note that jump icons cannot be disabled when the jump dock is enabled.
            </div>
        </fieldset>
    </panel>
</dialog>

</body></html>
